Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators
نویسندگان
چکیده
منابع مشابه
Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators
In this paper a special type of nonlinear marking specifications called stair generalized mutual exclusion constraints (stair-GMECs) is defined. A stair-GMEC can be represented by an inequality whose left-hand is a linear combination of floor functions. Stair-GMECs have a higher modeling power than classical GMECs and can model legal marking sets that cannot be defined by OR-AND GMECs. We propo...
متن کاملGeneralized mutual exclusion constraints and monitors for colored Petri nets
A Generalized Mutual Exclusion Constraint (GMEC) is a linear constraint that limits the weighted sum of tokens in a subset of places of a place/transition net system. The corresponding controller takes the simple form of a monitor place that can be added to the net to obtain the closed-loop system. In this paper we extend this approach to the case of colored Petri nets, showing that a colored G...
متن کاملPetri Net Controllers for Distributed Robotic Systems
Petri nets are a well established modelling technique for analyzing parallel systems. When coupled with an event-driven operating system, Petri nets can provide an effective means for integrating and controlling the functions of distributed robotic applications. Recent work has shown that Petri net graphs can also serve as remarkably intuitive operator interfaces. In this paper the advantages f...
متن کاملFuzzy Petri net Implementation for Programmable Logic Controllers
The concept of fuzzy reasoning has been extended to Petri nets and has been applied for modeling of discrete event systems [1]. However, the theory was not extended to supervisory control of discrete event systems because there is no valid translation for fuzzy Petri nets into ladder logic diagrams. Discrete event systems are time and event dependent and hence digital in nature. However, discre...
متن کاملPropagating Resource Constraints Using Mutual Exclusion Reasoning
One of the most recent techniques for propagating resource constraints in Constraint Based scheduling is Energy Constraint. This technique focuses in precedence based scheduling, where precedence relations are taken into account rather than the absolute position of activities. Although, this particular technique proved to be efficient on discrete unary resources, it provides only loose bounds f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Automatica
سال: 2016
ISSN: 0005-1098
DOI: 10.1016/j.automatica.2016.07.042